Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
121	PDF Document Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic in computer science Automated theorem proving Formal methods Model theory Isabelle First-order logic KeY HOL Proof assistant Theoretical computer science Mathematical logic Mathematics
122	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
123	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
124	English Enhancement Grant Scheme for Primary Schools Salary Proof School name: _________________________________________ (A / B / C_____) Name of supply teacher/ teaching assistant/ NEST/ ELTA: __________________ Emplo Add to Reading List Source URL: www.language-education.com - Date: 2011-12-12 01:49:39
125	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
126	More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-08-15 04:44:13 Theoretical computer science Superposition calculus SPASS Resolution Isabelle Proof assistant Vampire Automated reasoning First-order logic Automated theorem proving Mathematics Mathematical logic
127	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
128	Adapting Proof General Proof General — Organize your proofs! Adapting Proof General 4.2pre to new provers October 2011 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-03-22 05:14:24 Functional languages Lisp programming language Emacs Proof assistant Coq Lisp Isabelle Read–eval–print loop Shell Software Computing Computer programming
129	UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Formal methods Automated theorem proving Proof assistant ACL2 KeY Theorem Isabelle Mathematical logic Formal verification Mathematics Theoretical computer science Mathematical software
130	HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-12 14:03:23 Logic in computer science OCaml Automated theorem proving HOL Caml Proof assistant ML Read–eval–print loop Isabelle Software Computing Functional languages

UPDATE